English translation for "formal design specification"
形式设计说明
Related Translations:
formal: adj.1.正式的。2.礼节上的,仪式上的;郑重其事的。3.形态的,外形的;形式上的;拘泥形式的,刻板的。4.布置整齐的,有条理的。5.正规的,合乎规格的。6.【语言】规范化的,书面语的,正规的〔非俗语、俚语的〕。短语和例子a formal receipt 正式收据。 a formal call 正式访问。 a formal manner 郑重其事的态度。 formal l
These methods begin with the formal design specifications given by the designer and then derive the top design codes by using refinement calculus laws 所谓形式化方法,就是利用严格的数学方法,从给出系统设计的规范( specifications )开始并逐步地推导或者验证系统的方法。